Sondergaard, Harald: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Mix: A self-applicable partial evaluator for experiments in compiler generation

Neil D. Jones, Peter Sestoft, Harald Søndergaard

Journal:

Higher-Order and Symbolic Computation

Year:

1989

Language:

english

File:

PDF, 2.79 MB

english, 1989

2

Denotational abstract interpretation of logic programs

Marriott, Kim, Søndergaard, Harald, Jones, Neil D.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 2.72 MB

english, 1994

3

[IEEE 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH) - Kyoto, Japan (2019.6.10-2019.6.12)] 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH) - Optimal Bounds for Floating-Point Addition in Constant Time

Andrlon, Mak, Schachte, Peter, Sondergaard, Harald, Stuckey, Peter J.

Year:

2019

Language:

english

File:

PDF, 196 KB

english, 2019

4

Guest editors' foreword

Peter Sestoft, Harald Søndergaard

Journal:

Higher-Order and Symbolic Computation

Year:

1995

Language:

english

File:

PDF, 80 KB

english, 1995

5

Precise and efficient groundness analysis for logic programs

Marriott, Kim, Søndergaard, Harald

Journal:

ACM Letters on Programming Languages and Systems

Year:

1993

Language:

english

File:

PDF, 987 KB

english, 1993

6

Information loss in knowledge compilation: A comparison of Boolean envelopes

Peter Schachte, Harald Søndergaard, Leigh Whiting, Kevin Henshall

Journal:

Artificial Intelligence

Year:

2010

Language:

english

File:

PDF, 384 KB

english, 2010

7

Reference Abstract Domains and Applications to String Analysis

Amadini, Roberto, Gange, Graeme, Gauthier, François, Jordan, Alexander, Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Zhang, Chenyi

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 360 KB

english, 2018

8

Combination of Statistical Approaches for Analysis of 2-DE Data Gives Complementary Results

Grove, Harald, Jørgensen, Bo M., Jessen, Flemming, Søndergaard, Ib, Jacobsen, Susanne, Hollung, Kristin, Indahl, Ulf, Færgestad, Ellen M.

Journal:

Journal of Proteome Research

Year:

2008

Language:

english

File:

PDF, 1.47 MB

english, 2008

9

Multivariate analysis of 2-DE protein patterns – Practical approaches

Susanne Jacobsen, Harald Grove, Kristina Nedenskov Jensen, Helle A. Sørensen, Flemming Jessen, Kristin Hollung, Anne Kjersti Uhlen, Bo M. Jørgensen, Ellen Mosleth Færgestad, Ib Søndergaard

Journal:

ELECTROPHORESIS

Year:

2007

Language:

english

File:

PDF, 458 KB

english, 2007

10

Referential transparency, definiteness and unfoldability

Harald Søndergaard, Peter Sestoft

Journal:

Acta Informatica

Year:

1990

Language:

english

File:

PDF, 760 KB

english, 1990

11

Bottom-up dataflow analysis of normal logic programs

Kim Marriott, Harald Søndergaard

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 1.69 MB

english, 1992

12

[IEEE 2015 24th Australasian Software Engineering Conference (ASWEC) - Adelaide, SA, Australia (2015.9.28-2015.10.1)] 2015 24th Australasian Software Engineering Conference - Compositional Symbolic Execution Using Fine-Grained Summaries

Lin, Yude, Miller, Tim, Sondergaard, Harald

Year:

2015

Language:

english

File:

PDF, 350 KB

english, 2015

13

A practical object-oriented analysis engine for CLP

Andrew D. Kelly, Kim Marriott, Harald Søndergaard, Peter J. Stuckey

Journal:

Software: Practice and Experience

Year:

1998

Language:

english

File:

PDF, 220 KB

english, 1998

14

[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Leveraging abstract interpretation for efficient dynamic symbolic execution

Alatawi, Eman, Sondergaard, Harald, Miller, Tim

Year:

2017

Language:

english

File:

PDF, 229 KB

english, 2017

15

[ACM Press the 4th annual SIGCSE/SIGCUE ITiCSE conference - Cracow, Poland (1999.06.27-1999.06.30)] Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education - ITiCSE '99 - A strategy for managing content complexity in algorithm animation

Stern, Linda, Søndergaard, Harald, Naish, Lee

Year:

1999

Language:

english

File:

PDF, 453 KB

english, 1999

16

Collaborative learning through formative peer review: pedagogy, programs and potential

Søndergaard, Harald, Mulder, Raoul A.

Journal:

Computer Science Education

Year:

2012

Language:

english

File:

PDF, 201 KB

english, 2012

17

Older Type Iv Colles Fractures Treated with Intramedullary Insertion of a Rush Pin

Knudsen, Harald Moustgaard, Lindblad, Bent Erling, Mikkelsen, Srosren Søndergaard

Journal:

Scandinavian Journal of Plastic and Reconstructive Surgery and Hand Surgery

Year:

1993

Language:

english

File:

PDF, 487 KB

english, 1993

18

Two classes of Boolean functions for dependency analysis

Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 2.77 MB

english, 1998

19

Learning from and with peers

Sondergaard, Harald

Journal:

ACM SIGCSE Bulletin

Year:

2009

Language:

english

File:

PDF, 547 KB

english, 2009

20

Difference-list transformation for Prolog

Kim Marriott, Harald Søndergaard

Journal:

New Generation Computing

Year:

1993

Language:

english

File:

PDF, 1.47 MB

english, 1993

21

An experiment in partial evaluation

Jones, Neil D., Sestoft, Peter, Søndergaard, Harald

Journal:

ACM SIGPLAN Notices

Year:

1985

Language:

english

File:

PDF, 296 KB

english, 1985

22

Regional changes in vertebra morphology during ontogeny reflect the life history of Atlantic cod ( Gadus morhua L.)

Fjelldal, Per G., Totland, Geir K., Hansen, Tom, Kryvi, Harald, Wang, Xiyuan, Søndergaard, Jens L., Grotmol, Sindre

Journal:

Journal of Anatomy

Year:

2013

Language:

english

File:

PDF, 1.40 MB

english, 2013

23

Differential methods in logic program analysis

Maria García de la Banda, Kim Marriott, Peter Stuckey, Harald Søndergaard

Journal:

The Journal of Logic Programming

Year:

1998

Language:

english

File:

PDF, 2.11 MB

english, 1998

24

[ACM Press the 1st International Workshop - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 1st International Workshop on Metamorphic Testing - MET '16 - Generating source inputs for metamorphic testing using dynamic symbolic execution

Alatawi, Eman, Miller, Tim, Søndergaard, Harald

Year:

2016

Language:

english

File:

PDF, 369 KB

english, 2016

25

[ACM Press the 14th annual ACM SIGCSE conference - Paris, France (2009.07.06-2009.07.09)] Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education - ITiCSE '09 - Learning from and with peers

Sondergaard, Harald

Year:

2009

Language:

english

File:

PDF, 547 KB

english, 2009

26

Synthesizing Optimal Switching Lattices

Gange, Graeme, Søndergaard, Harald, Stuckey, Peter J.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2014

Language:

english

File:

PDF, 1.44 MB

english, 2014

27

A strategy for managing content complexity in algorithm animation

Stern, Linda, Søndergaard, Harald, Naish, Lee

Journal:

ACM SIGCSE Bulletin

Year:

1999

Language:

english

File:

PDF, 453 KB

english, 1999

28

[ACM Press the 2012 ACM SIGPLAN Workshop - Beijing, China (2012.06.16-2012.06.16)] Proceedings of the 2012 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness - MSPC '12 - Towards region-based memory management for Go

Davis, Matthew, Schachte, Peter, Somogyi, Zoltan, Søndergaard, Harald

Year:

2012

Language:

english

File:

PDF, 201 KB

english, 2012

29

Interval Analysis and Machine Arithmetic

Gange, Graeme, Navas, Jorge A., Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2015

Language:

english

File:

PDF, 761 KB

english, 2015

30

[IEEE 2015 24th Australasian Software Engineering Conference (ASWEC) - Adelaide, SA, Australia (2015.9.28-2015.10.1)] 2015 24th Australasian Software Engineering Conference - Using Metamorphic Testing to Improve Dynamic Symbolic Execution

Alatawi, Eman, Miller, Tim, Sondergaard, Harald

Year:

2015

Language:

english

File:

PDF, 323 KB

english, 2015

31

A complete refinement procedure for regular separability of context-free languages

Gange, Graeme, Navas, Jorge A., Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J.

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 746 KB

english, 2016

32

Sharing and groundness dependencies in logic programs

Codish, Michael, Søndergaard, Harald, Stuckey, Peter J.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1999

Language:

english

File:

PDF, 334 KB

english, 1999

33

Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation

Wang, Wenxi, Søndergaard, Harald, Stuckey, Peter J.

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 2.02 MB

english, 2018

34

[ACM Press the ACM SIGPLAN Workshop - Seattle, Washington (2013.06.16-2013.06.19)] Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness - MSPC '13 - A low overhead method for recovering unused memory inside regions

Davis, Matthew, Schachte, Peter, Somogyi, Zoltan, Søndergaard, Harald

Year:

2013

Language:

english

File:

PDF, 163 KB

english, 2013

35

[IEEE 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Hamilton, New Zealand (2016.12.6-2016.12.9)] 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Compositional Symbolic Execution: Incremental Solving Revisited

Lin, Yude, Miller, Tim, Sondergaard, Harald

Year:

2016

Language:

english

File:

PDF, 260 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски